lambda calculus notation
λ演算記法
熱門查詢
- directly conj. 一…就 adv. 直接地；立即；馬上；正好地；坦率地
- afforestation n. 造林
- inevitably adv. 不可避免地；必然地
- infirm adj. 衰弱的；意志薄弱的；不堅(jiān)固的
- inquiring v. 調(diào)查（inquire的ing形式）；打聽 adj. 詢問的；打聽的；愛追究的
- neuropathy n. [內(nèi)科] 神經(jīng)病
- malfunctioning adj. 出故障的 v. 出故障；不正常工作（malfunction的ing形式）
- multilayered adj. 多層的
- apocrypha n. 作者（或真實(shí)性、權(quán)威性）可疑的著作；旁經(jīng)
- unshaded adj. 無遮蔽的；沒有陰影的
- radiating adj. v. 發(fā)射出（光、熱等）( radiate的現(xiàn)在分詞 )；（使品質(zhì)或情感）顯出，流露；射出，向四周伸出；散熱
- digitizer n. [計(jì)] 數(shù)字轉(zhuǎn)換器
- essential n. 本質(zhì)；要素；要點(diǎn)；必需品 adj. 基本的；必要的；本質(zhì)的；精華的
- antral adj. [醫(yī)] 竇的
- latte n. 牛奶；拿鐵咖啡（coffee latte） n. (Latte)人名；(德、意、法)拉特
- uprating 提高出力
- Alastair n. 阿拉斯泰爾(m.)
- statutorily adv. 根據(jù)法律條文地
- attenuator n. [電子] 衰減器；[生化] 弱化子
- jigger n. 小滑車；量杯；小玩意 vt. 阻止
